21. Theory and applications of models of computation

Author:

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Computational complexity--Congresses,Computable functions--Congresses

Classification :
QA
,
267
.
7
,.
T36
,
2007

22. classical logics, model theory, and computability-Non

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Nonclassical mathematical logic ; Congresses. ; Model theory ; Congresses. ; Computable functions ; Congresses. ;

23. numeric computation-Symbolic

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computable functions ; Data processing ; Congresses. ; Numerical analysis ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;